script(type="text/javascript").
	var nfile = {base: "#{base}", getURI: function(uri){return this.base + uri;}, marked: !{JSON.stringify(config.marked)}} ;